Sriram K. Rajamani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Thorough static analysis of device drivers

Ball, Thomas, Bounimova, Ella, Cook, Byron, Levin, Vladimir, Lichtenberg, Jakob, McGarvey, Con, Ondrusek, Bohus, Rajamani, Sriram K., Ustuner, Abdullah

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 414 KB

english, 2006

2

Boolean and Cartesian abstraction for model checking C programs

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 215 KB

english, 2003

3

Refining abstract interpretations

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 184 KB

english, 2010

4

[ACM Press the ACM SIGPLAN 2001 conference - Snowbird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01 - Automatic predicate abstraction of C programs

Ball, Thomas, Majumdar, Rupak, Millstein, Todd, Rajamani, Sriram K.

Year:

2001

Language:

english

File:

PDF, 1.35 MB

english, 2001

5

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Incremental and Complete Bounded Model Checking for Full PLTL

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 216 KB

english, 2005

6

Fair Simulation

Thomas A Henzinger, Orna Kupferman, Sriram K Rajamani

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 192 KB

english, 2002

7

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 230 KB

english, 2005

8

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Formal Verification of Pentium ® 4 Components with Symbolic Simulation and Inductive Invariants

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 196 KB

english, 2005

9

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 87 KB

english, 2005

10

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

11

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || SMT-COMP: Satisfiability Modulo Theories Competition

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 95 KB

english, 2005

12

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Yet Another Decision Procedure for Equality Logic

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 292 KB

english, 2005

13

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - The S LAM project

Ball, Thomas, Rajamani, Sriram K.

Year:

2002

Language:

english

File:

PDF, 468 KB

english, 2002

14

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Verification of Object Relational Maps

Mehra, Krishna K., Rajamani, Sriram K., Sistla, A. Prasad, Jha, Sumit K.

Year:

2007

Language:

english

File:

PDF, 398 KB

english, 2007

15

Compositional may-must program analysis

Godefroid, Patrice, Nori, Aditya V., Rajamani, Sriram K., Tetali, Sai Deep

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 569 KB

english, 2010

16

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

17

[Lecture Notes in Computer Science] Model Checking Software Volume 2648 || What Went Wrong: Explaining Counterexamples

Ball, Thomas, Rajamani, Sriram K.

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

18

[IEEE 2008 IEEE International Conference on Global Software Engineering (ICGSE) - Bangalore (2008.08.17-2008.08.20)] 2008 IEEE International Conference on Global Software Engineering - Global Software Servicing: Observational Experiences at Microsoft

Bugde, Shilpa, Nagappan, Nachiappan, Rajamani, Sriram, Ramalingam, G.

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

19

[IEEE 2008 IEEE International Conference on Web Services (ICWS) - Beijing, China (2008.09.23-2008.09.26)] 2008 IEEE International Conference on Web Services - SoftAlloc: A Work Allocation Language with Soft Constraints

Stefansen, Christian, Rajamani, Sriram, Seshan, Parameswaran

Year:

2008

Language:

english

File:

PDF, 315 KB

english, 2008

20

[IEEE 2014 IEEE Symposium on Security and Privacy (SP) - San Jose, CA (2014.5.18-2014.5.21)] 2014 IEEE Symposium on Security and Privacy - Bootstrapping Privacy Compliance in Big Data Systems

Sen, Shayak, Guha, Saikat, Datta, Anupam, Rajamani, Sriram K., Tsai, Janice, Wing, Jeannette M.

Year:

2014

Language:

english

File:

PDF, 1.16 MB

english, 2014

21

[Lecture Notes in Computer Science] Model Checking Software Volume 2648 || Thread-Modular Model Checking

Ball, Thomas, Rajamani, Sriram K.

Year:

2003

Language:

english

File:

PDF, 174 KB

english, 2003

22

[Lecture Notes in Computer Science] Model Checking Software Volume 2648 ||

Ball, Thomas, Rajamani, Sriram K.

Year:

2003

Language:

english

File:

PDF, 2.99 MB

english, 2003

23

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Romeo: A Tool for Analyzing Time Petri Nets

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 176 KB

english, 2005

24

[Lecture Notes in Computer Science] Model Checking Software Volume 2648 || Optimal Scheduling Using Branch and Bound with SPIN 4.0

Ball, Thomas, Rajamani, Sriram K.

Year:

2003

Language:

english

File:

PDF, 259 KB

english, 2003

25

An assume-guarantee rule for checking simulation

Henzinger, Thomas A., Qadeer, Shaz, Rajamani, Sriram K., Tasiran, Serdar

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2002

Language:

english

File:

PDF, 173 KB

english, 2002

26

A decade of software model checking with SLAM

Ball, Thomas, Levin, Vladimir, Rajamani, Sriram K.

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 1.15 MB

english, 2011

27

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Bounded Model Checking of Concurrent Programs

Etessami, Kousha, Rajamani, Sriram K.

Year:

2005

Language:

english

File:

PDF, 189 KB

english, 2005

28

[Lecture Notes in Computer Science] Model Checking Software Volume 2648 || Software Verification with BLAST

Ball, Thomas, Rajamani, Sriram K.

Year:

2003

Language:

english

File:

PDF, 91 KB

english, 2003

29

Automatic predicate abstraction of C programs

Ball, Thomas, Majumdar, Rupak, Millstein, Todd, Rajamani, Sriram K.

Journal:

ACM SIGPLAN Notices

Year:

2012

File:

PDF, 4.86 MB

2012

30

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Bayesian inference using data flow analysis

Claret, Guillaume, Rajamani, Sriram K., Nori, Aditya V., Gordon, Andrew D., Borgström, Johannes

Year:

2013

Language:

english

File:

PDF, 843 KB

english, 2013

31

Slicing probabilistic programs

Hur, Chung-Kil, Nori, Aditya V., Rajamani, Sriram K., Samuel, Selva

Journal:

ACM SIGPLAN Notices

Year:

2014

Language:

english

File:

PDF, 580 KB

english, 2014

32

[ACM Press the 14th ACM SIGSOFT international symposium - Portland, Oregon, USA (2006.11.05-2006.11.11)] Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14 - SYNERGY

Gulavani, Bhargav S., Henzinger, Thomas A., Kannan, Yamini, Nori, Aditya V., Rajamani, Sriram K.

Year:

2006

Language:

english

File:

PDF, 641 KB

english, 2006

33

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - An empirical study of optimizations in YOGI

Nori, Aditya V., Rajamani, Sriram K.

Year:

2010

Language:

english

File:

PDF, 659 KB

english, 2010

34

GUESSTIMATE

Rajan, Kaushik, Rajamani, Sriram, Yaduvanshi, Shashank

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 555 KB

english, 2010

35

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - GUESSTIMATE

Rajan, Kaushik, Rajamani, Sriram, Yaduvanshi, Shashank

Year:

2010

Language:

english

File:

PDF, 555 KB

english, 2010

36

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - P

Desai, Ankush, Gupta, Vivek, Jackson, Ethan, Qadeer, Shaz, Rajamani, Sriram, Zufferey, Damien

Year:

2013

Language:

english

File:

PDF, 944 KB

english, 2013

37

P

Desai, Ankush, Gupta, Vivek, Jackson, Ethan, Qadeer, Shaz, Rajamani, Sriram, Zufferey, Damien

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 944 KB

english, 2013

38

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Slicing probabilistic programs

Hur, Chung-Kil, Nori, Aditya V., Rajamani, Sriram K., Samuel, Selva

Year:

2013

Language:

english

File:

PDF, 580 KB

english, 2013

39

[ACM Press the - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the on Future of Software Engineering - FOSE 2014 - Probabilistic programming

Gordon, Andrew D., Henzinger, Thomas A., Nori, Aditya V., Rajamani, Sriram K.

Year:

2014

Language:

english

File:

PDF, 879 KB

english, 2014

40

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Summarizing procedures in concurrent programs

Qadeer, Shaz, Rajamani, Sriram K., Rehof, Jakob

Year:

2004

Language:

english

File:

PDF, 169 KB

english, 2004

41

Merlin

Livshits, Benjamin, Nori, Aditya V., Rajamani, Sriram K., Banerjee, Anindya

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 768 KB

english, 2009

42

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Types as models

Chaki, Sagar, Rajamani, Sriram K., Rehof, Jakob

Year:

2002

Language:

english

File:

PDF, 1.51 MB

english, 2002

43

The S LAM project

Ball, Thomas, Rajamani, Sriram K.

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 468 KB

english, 2002

44

ISOLATOR

Rajamani, Sriram, Ramalingam, G., Ranganath, Venkatesh Prasad, Vaswani, Kapil

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 1.92 MB

english, 2009

45

[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - EON

Chaudhuri, Avik, Naldurg, Prasad, Rajamani, Sriram K., Ramalingam, G., Velaga, Lakshmisubrahmanyam

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

46

[ACM Press Proceeding of the 14th international conference - Washington, DC, USA (2009.03.07-2009.03.11)] Proceeding of the 14th international conference on Architectural support for programming languages and operating systems - ASPLOS '09 - ISOLATOR

Rajamani, Sriram, Ramalingam, G., Ranganath, Venkatesh Prasad, Vaswani, Kapil

Year:

2009

Language:

english

File:

PDF, 1.92 MB

english, 2009

47

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - Merlin

Livshits, Benjamin, Nori, Aditya V., Rajamani, Sriram K., Banerjee, Anindya

Year:

2009

Language:

english

File:

PDF, 768 KB

english, 2009

48

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - DebugAdvisor

Ashok, B., Joy, Joseph, Liang, Hongkang, Rajamani, Sriram K., Srinivasa, Gopal, Vangala, Vipindeep

Year:

2009

Language:

english

File:

PDF, 1.15 MB

english, 2009

49

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Parallelizing top-down interprocedural analyses

Albarghouthi, Aws, Kumar, Rahul, Nori, Aditya V., Rajamani, Sriram K.

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

50

[ACM Press the first ACM conference - Atlanta, Georgia, USA (2014.03.04-2014.03.05)] Proceedings of the first ACM conference on Learning @ scale conference - L@S '14 - Online learning versus blended learning

Cross, Andrew, Rajamani, Sriram, Sangameswaran, Satish, Sharma, Deepika, Thies, William, Ashok, B., Bala, Srinath, Cutrell, Edward, Datha, Naren, Kumar, Rahul, Kumar, Viraj, Parthasarathy, Madhusudan,

Year:

2014

Language:

english

File:

PDF, 729 KB

english, 2014